On Freese's technique

In this paper we explore some applications of a certain technique (that we call the Freese's technique), which is a tool for identifying certain lattices as sublattices of the congruence lattice of a given algebra. In particular we will give sufficient conditions for two family of lattices (called the rods and the snakes) to be admissible as sublattices of a variety generated by a given algebra, extending an unpublished result of R. Freese and P. Lipparini

A Simulation Model for Logical and Operative Clash Detection

The introduction of the Building Information Modeling (BIM) approach has facilitated the management process of documents produced by different kinds of professionals involved in the design and/or renovation of a building, through identification and subsequent management of geometrical interferences (Clash Detection). The methodology of this research proposes a tool to support Clash Detection, introducing the logical-operative dimension, that may occur with the presence of a construction site within a hospital structure, through the integration of a BIM model within a Game Engine environment, to preserve the continuity of daily hospital activities and trying to reduce negative impacts, times and costs due to construction activities

(E)-3-Heteroarylidenechroman-4-ones as potent and selective monoamine oxidase-B inhibitors

A series of (E)-3-heteroarylidenechroman-4-ones (1a-r) was designed, synthesized and investigated in vitro for their ability to inhibit the enzymatic activity of both human monoamine oxidase (hMAO) isoforms, hMAO-A and hMAO-B. All the compounds were found to be selective hMAO-B inhibitors showing IC50 values in the nanomolar or micromolar range. (E)-5,7-Dichloro-3-{[(2-(dimethylamino) pyrimidin-5-yl]methylene}chroman-4-one (1c) was the most interesting compound identified in this study, endowed with higher hMAO-B potency (IC50 ¼ 10.58 nM) and selectivity (SI > 9452) with respect to the reference selective inhibitor selegiline (IC50 ¼ 19.60 nM, IC50 > 3431). Molecular modelling studies were performed for rationalizing at molecular level the target selective inhibition of our compounds, revealing a remarkable contribution of hydrogen bond network and water solvent

Reasoning in Common Data Environments. Re-thinking CDEs to enhance collaboration in BIM processes

In BIM processes, the concept of Common Data Environment - CDE - has often been depicted as a key element for successful collaboration and information sharing among different actors but, in current practice, acts as a mere documentation repository ineffective for true collaborative purposes. Therefore, the idea of CDE seems to be overrated on the one hand and unexploited on the other, while effective collaboration is still far from being decisively supported. To overcome this lack, the present research focuses on the definition of a new generation of CDEs, enhanced with an information level for knowledge integration provided by different information carriers such as models and datasets. The paper discusses its development through a graph database platform and dedicated methodologies for data retrieval and query, to verify coherence and consistency of information among different models